Mathematical structure

Results: 1236



#Item
201Nuclear physics / Spintronics / Quantum electrodynamics / Radioactive decay / Beta decay / Electron / Quantum field theory / Uncertainty principle / Scintillator / Physics / Quantum mechanics / Mathematical physics

Annales de la Fondation Louis de Broglie, Volume 27 no 3, Structure of Physical Space and Nature of de Broglie Waves

Add to Reading List

Source URL: aflb.ensmp.fr

Language: English - Date: 2002-09-27 08:15:09
202Sequent calculus / Entailment / Ω-consistent theory / Sequent / Cut-elimination theorem / First-order logic / Structure / Linear logic / Natural deduction / Logic / Mathematical logic / Proof theory

January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-03-02 09:38:29
203Dead-end elimination / Mathematical optimization / Bioinformatics / Stereochemistry / Conformational isomerism / Protein design / Resolution / STING / Homology modeling / Chemistry / Protein methods / Protein structure

Exact Rotamer Optimization for Protein Design D. BENJAMIN GORDON,1 GEOFFREY K. HOM,2 STEPHEN L. MAYO,3 NILES A. PIERCE4 1 Whitehead Institute for Biomedical Research, Cambridge, MassachusettsBiochemistry Option, C

Add to Reading List

Source URL: www.piercelab.caltech.edu

Language: English - Date: 2010-09-08 02:56:26
204Linear algebra / Mathematical structures / Vectors / Vector calculus / Vector space / Euclidean vector / Function / Algebraic structure / Algebra / Mathematics / Abstract algebra

Functions Data  structures  and  subsetting Vectors,  lists,  data  frames Glyph  plots 1

Add to Reading List

Source URL: streaming.stat.iastate.edu

Language: English - Date: 2011-08-04 18:24:06
205Systems theory / Mathematical analysis / Structure / Orbit / Period-doubling bifurcation / Chaos theory / Attractor / Intermittency / Bifurcation diagram / Bifurcation theory / Non-linear systems / Dynamical systems

Supplemental Material Smooth Operator: Avoidance of Subharmonic Bifurcations through Mechanical Mechanisms simplifies Song Motor Control in Adult Zebra Finches Coen P.H. Elemans, Rodrigo Laje, Gabriel B. Mindlin, Franz G

Add to Reading List

Source URL: www.celemans.com

Language: English - Date: 2011-09-23 05:53:57
206Category theory / Algebraic structures / Dual / Structure / Semigroup / Laplace transform / Mathematics / Mathematical analysis / Abstract algebra

OPERATIONAL RESOLUTIONS AND STATE TRANSITIONS IN A CATEGORICAL SETTING Bob Coecke and Isar Stubbe FUND-DWIS, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium. and

Add to Reading List

Source URL: www-lmpa.univ-littoral.fr

Language: English - Date: 2009-12-14 11:58:40
207Triangulation / Mathematical structures / Algebraic topology / Simplicial complex / Simplex / Structure / Orbifold / Mathematics / Topology / Geometry

Subdividing Alpha Complex Ho-lun Cheng1 and Tony Tan1 School of Computing, National University of Singapore hcheng, Abstract. Given two simplicial complexes C 1 and C 2 embedded in Euclidean space

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2013-09-27 07:35:34
208Model theory / Database theory / Conjunctive query / Modal logic / Null / Structure / Kripke semantics / FO / Closed world assumption / Logic / Mathematics / Mathematical logic

When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin

Add to Reading List

Source URL: www.sirangelo.info

Language: English - Date: 2013-04-16 03:57:08
209Nicolas Bourbaki / Algebraic structures / Pullback / Model theory / Coherence theory of truth / Mathematical logic / Functor / Structure / Mathematics / Algebra / Claude Chevalley

Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English
210Ring theory / Structure / Mathematical structures / Semiring / Abstract algebra / Natural number / Ring / Algebraic structures / Mathematics / Algebra

BRICS Basic Research in Computer Science ´ BRICS RSEsik & Kuich: Rationally Additive Semirings

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-11-06 08:58:55
UPDATE